\newcommand{\Fix}[1]{\textbf{[[#1]]}}
\newcommand{\Comment}[1]{}
\newcommand{\CodeIn}[1]{\begin{small}\texttt{#1}\end{small}}
\newcommand{\Email}[1]{{\normalsize\textit{#1}}}
\newcommand{\newurl}[1]{\begin{scriptsize}\texttt{#1}\end{scriptsize}}
\newcommand{\etal}{\emph{et al.\/}}
\newcommand{\dE}{\Comment{$\Delta$}Delta Execution}
\newcommand{\DE}{DE}
\newcommand{\de}{DE}

%%
\newcommand{\lt}{$\langle{}$}
\newcommand{\gt}{$\rangle{}$}
\newcommand{\mybull}[1]{\noindent$\bullet$\hspace{0.5ex}\textbf{#1}}
